Through numbers of studies on the formation of equivalence relations and causal induction, it is known that human beings tend to consider conditional statements ``if p then q " as biconditional statements ``if and only if p then q ": we call the tendency to perceive ``if p then q " as ``if q then p " the ``symmetry bias". On the other hand, many studies on children's word learning have pointed out that children tend to expect each object has (...) only one label. This is so-called the ``mutual exclusivity bias". This bias implies. (shrink)

ブッダとは誰か?仏教とは何か?3・11の震災後の言葉を探して仏教に問いかける―仏教と真剣に向き合う僧侶、研究者との対話を通して、仏教の「新しいいま」が見えてくる。.

Going beyond the theory/practice and discourse/matter divides -- Learning and becoming in an onto-epistemology -- The tool of pedagogical documentation -- An intra-active pedagogy and its dual movements -- Transgressing binary practices in early childhood teacher education -- The hybrid-writing-process: going beyond the theory/practice divide in academic writing -- An ethics of immanence and potentialities for early childhood education.

This study examined the ability to comprehend conventional and non-conventional implicatures, and the effect of proficiency and learning context on comprehension of implicature in L2 Chinese. Participants were three groups of college students of Chinese: elementary-level foreign language learners, advanced-level foreign language learners, and advanced-level heritage learners. They completed a 36-item computer-delivered listening test measuring their ability to comprehend three types of implicature: conventional indirect refusals, conventional indirect opinions, and non-conventional indirect opinions. Comprehension was analyzed for accuracy and comprehension speed. (...) There was a significant effect of implicature type on accuracy, but not on comprehension speed. A significant effect of participant group was observed on accuracy, but the effect was mixed on comprehension speed. (shrink)

The logic CD is an intermediate logic which exactly corresponds to the Kripke models with constant domains. It is known that the logic CD has a Gentzen-type formulation called LD and rules are replaced by the corresponding intuitionistic rules) and that the cut-elimination theorem does not hold for LD. In this paper we present a modification of LD and prove the cut-elimination theorem for it. Moreover we prove a “weak” version of cut-elimination theorem for LD, saying that all “cuts” except (...) some special forms can be eliminated from a proof in LD. From these cut-elimination theorems we obtain some corollaries on syntactical properties of CD: fragments collapsing into intuitionistic logic. Harrop disjunction and existence properties, and a fact on the number of logical symbols in the axiom of CD. (shrink)

In this paper, I propose a possible reinterpretation of phenomenology using a newly defined concept of ‘mediation.’ First, I address the question: What are the ‘things themselves’ that are given as the result of the phenomenological epoché? I would answer that they are neither material objects nor merely subjective experiences, but rather specific occurrences of ‘mediations.’ Second, under the influence of the Japanese philosopher Hajime Tanabe, I will define ‘mediation’ as a non-separable occurrence of differentiating and connecting. Third, I shall (...) claim that the concept of ‘phenomenon’ itself should be reinterpreted in terms of its character of mediation. Then, I will discuss central issues in phenomenology such as intentionality, time, and intersubjectivity in order to test the applicability of the proposed concept of mediation. To conclude, I shall summarize the potential of the idea that phenomenology can be reinterpreted using the concept of mediation. (shrink)

We extend natural deduction for first-order logic (FOL) by introducing diagrams as components of formal proofs. From the viewpoint of FOL, we regard a diagram as a deductively closed conjunction of certain FOL formulas. On the basis of this observation, we first investigate basic heterogeneous logic (HL) wherein heterogeneous inference rules are defined in the styles of conjunction introduction and elimination rules of FOL. By examining what is a detour in our heterogeneous proofs, we discuss that an elimination-introduction pair of (...) rules constitutes a redex in our HL, which is opposite the usual redex in FOL. In terms of the notion of a redex, we prove the normalization theorem for HL, and we give a characterization of the structure of heterogeneous proofs. Every normal proof in our HL consists of applications of introduction rules followed by applications of elimination rules, which is also opposite the usual form of normal proofs in FOL. Thereafter, we extend the basic HL by extending the heterogeneous rule in the style of general elimination rules to include a wider range of heterogeneous systems. (shrink)

Many studies concerning deviant innovation behavior mainly focus on the influence of personality differences or leadership styles, and there is a lack of attention given to internal cognitive factors related to actors. Therefore, the purpose of this paper is to examine the internal mechanism of perceived support for innovation on deviant innovation behavior. A two-wave study was conducted among 393 knowledge workers from 10 knowledge-intensive enterprises in the People's Republic of China. Model 4 and Model 14 from SPSS macro PROCESS (...) are used to test the mediating effect of innovation commitment and the moderating effect of threatened self-identity, respectively. The findings suggest that perceived support for innovation can significantly predict deviant innovation behavior; innovation commitment fully mediates the relationship between perceived support for innovation and deviant innovation behavior; public threat to self-identity plays a moderating role in the relationship between innovation commitment and deviant innovation behavior; and public threat to self-identity moderates the mediating effect of innovation commitment on perceived support for innovation and deviant innovation behavior. This study enriches the research on antecedent variables of deviant innovation behavior, and highlights the important role of situational factors on the whole mechanism. (shrink)

One influential positive argument for moral realism is the Explanatory Indispensability Argument. A crucial premise of this argument is the explanatory relevance of moral properties. On this premise, moral properties, such as wrongness, rightness, courage, and cowardice, are explanatorily indispensable to some empirical phenomena. Although there has been a lively debate on this premise, one crucial challenge to this thesis, what I call the Scientific Standard Challenge, has not been properly discussed. After explaining this challenge and a related concern, I (...) argue that in response to this central challenge, the proponents of the argument should take what I call the localist turn to defend the explanatory indispensability of moral properties. The localist turn encourages the defenders of moral explanations to be more sensitive to the nature of each moral explanation. For instance, some moral explanations are explanations of social matters, so the standards they need to meet are provided by relevant branches of the social sciences. On the other hand, some other moral explanations are about our psychology, so the theoretical standards those explanations need to meet should come from psychology. I illustrate how this localist project can be conducted in the case of the moral explanation that appeals to injustice. I argue that the field of comparative politics provides the theoretical standards moral explanations of institutional change need to meet. I shall then illustrate how a sophisticated moral explanation can meet those theoretical standards and how this moral explanation can be strong evidence of injustice’s explanatory indispensability. (shrink)

This paper demonstrates an empirical analysis of the visual order of membership categories in a way consistent with both an early ethnomethodological research interest and recent arguments in membership categorization analysis. Early ethnomethodological studies have highlighted that we can infer and understand the membership categories of observed people about whom we have no information in advance, even without talking to them. Recent membership categorization analysts have argued the methodological importance of using video data. Given this, fictional films serve as video (...) data to advance the investigation into the visual order of membership categories since audiences do not know the fictional characters’ information in advance and cannot talk to them. We analyze how potential audiences understand fictional characters’ membership categories and how production crew members organize the visual and conversational order of membership categories. The analysis illustrates that our practical inferences of fictional characters’ membership categories are based on conversations among characters and visually available information. Such visually available information includes environments and lighting, as well as characters’ clothes, body orientations, facial expressions, and physical distance from each other. In other words, production crew members of fictional films design the visual and conversational order for remote audiences by arranging visually available information and fictional characters’ conversations. The findings provide insights into the “possible correctness” and “defeasibility” of membership categorization practices. Particularly regarding fictional characters’ membership categories, production crew members can employ the “possible correctness” and “defeasibility” of categorization practices to mislead audiences. (shrink)

This article theorizes and exemplifies reconceptualized teaching practices, both in early childhood education 1 and in a couple of programs within the new Swedish Teacher Education . 2 These programs are tightly knit to the last 12 years of reconceptualized early childhood education practices in and around Stockholm, built on deconstructive, co‐constructive, and re‐constructive principles, inspired by poststructural and feminist poststructural theories. The aim is foremost to work towards a dissolution and/or transgression of the modernist theory‐practice binary that dominates ECE (...) and teacher education practices, where theory is meant to be applied to practice. Student teachers, as well as pre‐school teachers, use what I have conceptualized as deconstructive talks, as a possibility of making visible the dominant discourses of childhood, identity, learning, play, and gender in the performed and documented teaching practices. In teacher education, students’ narratives are also deconstructed. The aim is to transgress teaching‐as‐usual; i.e. dominant and normative ways of thinking and acting in teaching and learning situations. I will suggest an ethics of ‘resistance’, affirmation and becoming, inspired by Derridean deconstructionist thinking, as a professional attitude and reflexive mode for teachers, teacher students and teacher educators. (shrink)

This research investigates whether required employee green behavior can spill over to a proactive form of green behavior termed green advocacy. Drawing on self-perception theory, we theorize and test a moderated mediation model in which required employee green behavior is positively associated with green advocacy via the mediation of pro-environmental self-identity, with the strength of such association contingent upon employee moral identity. Data collected in three waves from 297 employees at a large manufacturing firm in China provide support for the (...) research model. Results show that pro-environmental self-identity explains the positive association between required employee green behavior and green advocacy and that its mediating role is stronger when moral identity is higher (vs. lower). This study advances workplace green behavior research by identifying a novel psychological path and extending knowledge about a boundary condition. (shrink)

Husserl’s theory of the phenomenological reduction is often explained by a radicalchange of attitude. Such an explanation is useful but sometimes misleading. TheIdea of Phenomenology clearly shows that the original idea of the reduction wasachieved through a radicalized critique of evidence. Although Husserl’s appealto evidence has often been criticized as an unjustified limitation of philosophicalthinking, a close examination of Husserl’s lectures reveals that the very ‘limitation’ to the phenomenological evidence breaks our naturalinclination toward objective identities and liberates our thinking from (...) the naturalbut misleading division between ‘transcendence’ and ‘immanence.’ Thus, thephenomenological reduction can be interpreted as a transition from the thinkingwithout regard to evidence to the philosophizing intrinsically mediatedby evidence, which can secure access for intuitive analysis to every conceivabletype of givenness insofar as it manifests itself. (shrink)

Detection of genuine altruists could be a solution to the problem of subtle cheating. Brown et al. (Evol Psychol 1:42–69, 2003) found that humans could detect altruists using nonverbal cues. However, their experiments can be improved upon in several ways, and further investigation is needed to determine whether altruist-detection abilities are human universals. In our experiment, we used video clips of natural conversations as the stimulus. We asked a sample of Japanese undergraduates to rate their own level of altruism and (...) then to estimate the videotaped targets’ altruism using the same scale. The perceivers were able to estimate the targets’ altruism levels accurately. Perceivers’ altruism score did not affect their ability to discriminate between altruists and non-altruists. Perceivers’ impressions of the altruist and non-altruist targets were also found to be different. Coding of nonverbal behavior of the targets revealed that altruists exhibited more “felt smiles” than non-altruists, which also supports the results of the previous study. (shrink)

朱子学は現代に生きる私たちにとって価値なきものなのだろうか? 儒教思想と近代的権利概念の親和性に着目、再検証を試みる。.

We develop intuitionistic public announcement logic over intuitionistic \({\textbf{K}}\), \({{\textbf{K}}}{{\textbf{T}}}\), \({{\textbf{K}}}{{\textbf{4}}}\), and \({{\textbf{S}}}{{\textbf{4}}}\) with distributed knowledge. We reveal that a recursion axiom for the distributed knowledge is _not_ valid for a frame class discussed in [ 12 ] but valid for the restricted frame class introduced in [ 20, 26 ]. The semantic completeness of the static logics for this restricted frame class is established via the concept of pseudo-model.

Proof-theoretical notions and techniques, developed on the basis of sentential/symbolic representations of formal proofs, are applied to Euler diagrams. A translation of an Euler diagrammatic system into a natural deduction system is given, and the soundness and faithfulness of the translation are proved. Some consequences of the translation are discussed in view of the notion of free ride, which is mainly discussed in the literature of cognitive science as an account of inferential efficacy of diagrams. The translation enables us to (...) formalize and analyze free ride in terms of proof theory. The notion of normal form of Euler diagrammatic proofs is investigated, and a normalization theorem is proved. Some consequences of the theorem are further discussed: in particular, an analysis of the structure of normal diagrammatic proofs; a diagrammatic counterpart of the usual subformula property; and a characterization of diagrammatic proofs compared with natural deduction proofs. (shrink)

This article will engage with the current disasters in Japan from the perspective of semiotic anthropology. Disaster seems to produce two moments of the sign: signa naturalia and signa data. The translation of the sign mirrors the architectonic of the signified of disaster, which is mediated by a token-level instantiation of signifiers that initially appears either absent or in excess. The conceptualization of disaster as a zero sign, that is, unlimited possibility, allows an investigation of “a struggle of interpretants” in (...) stipulating the interpretative grounds of the signified amid regenerative processes of social regularity. It is this very exact moment of translation that the sustained continuity reveals its culture-specific “deep social grammar.” Disaster or “shaking grounds” has the presenting effect of cultural palimpsests. These unearthed palimpsests enable a heightened metasemiotic awareness of institutional and ideological regimentations, on the one hand, and token-level recontexualizations, assimilations, and hybridizations of the depository of signs in society in the post-disaster contexts, on the other. The article concludes with an attempt to synthesize Peircean semeiotics and Saussurean semiology by assessing the two distinct modes of semiosis, culture and trauma, upon a sudden threat of the experience of discontinuity. (shrink)

We establish the “contraction-elimination theorem” which means that if a sequent Γ A is provable in the implicational fragment of the Gentzen's sequent calculus LK and if it satisfies a certain condition on the number of the occurrences of propositional variables, then it is provable without the right contraction rule. By this theorem, we get the following.1. If an implicational formula A is a theorem of classical logic and is not a theorem of intuitionistic logic, then there is a propositional (...) variable which occurs at least once positively and at least twice negatively in A → a) → a).2. If an implicational formula A is a theorem of intuitionistic logic and is not a theorem of BCK-logic, then there is a propositional variable which occurs at least twice positively and at least once negatively in A → a → b).We prove the contraction-elimination theorem by a fully syntactical method, which has some analogy with Gentzen's cut-elimination. (shrink)

Lonely hearts advertisements (LHA) published in Japan were examined in a comparative study on sexually dimorphic mate preference. I analyzed 944 LHA written by Japanese (730 by males and 214 by females) seeking short-term relationships and 780 LHA (577 by males and 203 by females) seeking long-term relationships. Some universal patterns of mate preference were confirmed and others were not. Female advertisers in both categories sought more traits than they offered; they also sought more traits than male advertisers. Males tended (...) to offer their financial and social status, and females tended to seek those traits. More females requested family commitment than males. While there was no sex difference in offering and seeking physical appearance and health, females tended to request photographs of their potential mates. Males were more likely than females to be willing to accept children from previous relationships, although there was no significant difference in refusing such children. More females seeking long-term mates requested family commitment than females seeking short-term mates. In both males and females, more advertisers seeking long-term mates offered family commitment than advertisers seeking short-term mates. Some predictions for contingent preference were also examined. One prediction confirmed was that females offering physical appearance and health sought more traits than those not doing so. However, males offering financial and social status did not make higher demands than those who did not, which does not support one prediction. (shrink)